Bārzdinš, Janis : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (20)
Les plus populaires
Liste
- Liste
- Tableau

1

Metamodel specialization for graphical language support

Kalnins, Audris, Barzdins, Janis

Journal:

Software & Systems Modeling

Année:

2018

Langue:

english

Fichier:

PDF, 14.56 MB

english, 2018

2

Graphical modeling and query language for hospitals

Barzdins, Janis, Barzdins, Juris, Rencis, Edgars, Sostaks, Agris

Journal:

Health Information Science and Systems

Année:

2013

Langue:

english

Fichier:

PDF, 687 KB

english, 2013

3

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Complexity of probabilistic versus deterministic automata

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 2.24 MB

english, 1991

4

Learning with belief levels

Jānis Bārzdiņš, Rūsiņš Freivalds, Carl H. Smith

Journal:

Journal of Computer and System Sciences

Année:

2008

Langue:

english

Fichier:

PDF, 212 KB

english, 2008

5

SmartARP: merging IP and MAC addressing for low-cost gigabit Ethernet networks

Andris Sidorovs, Guntis Barzdins, Janis Lacis, Karlis Ogsts

Journal:

Computer Networks

Année:

1999

Langue:

english

Fichier:

PDF, 915 KB

english, 1999

6

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Qualitative theory

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 1.96 MB

english, 1991

7

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Toward knowledge-based specifications of languages

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 607 KB

english, 1991

8

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || The programming system PRIZ

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 968 KB

english, 1991

9

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive synthesis of dot expressions

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 2.82 MB

english, 1991

10

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Complexity bounds

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 2.15 MB

english, 1991

11

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Type-theoretical semantics of some declarative languages

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 561 KB

english, 1991

12

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Using resolution for deciding solvable classes and building finite models

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 1.58 MB

english, 1991

13

[ACM Press the ACM/IEEE 19th International Conference - Saint-malo, France (2016.10.02-2016.10.07)] Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16 - Metamodel specialization for graphical modeling language support

Kalnins, Audris, Barzdins, Janis

Année:

2016

Langue:

english

Fichier:

PDF, 801 KB

english, 2016

14

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Rigal — a programming language for compiler writing

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 1.44 MB

english, 1991

15

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 1.75 MB

english, 1991

16

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Aggregate approach for specification, validation, simulation and implementation of computer network protocols

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 1.57 MB

english, 1991

17

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Some models of inductive syntactical synthesis from sample computations

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 1.80 MB

english, 1991

18

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Automatic construction of test sets: Theoretical approach

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 3.78 MB

english, 1991

19

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Automatic construction of test sets: Practical approach

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 3.01 MB

english, 1991

20

Towards evidence-based management: A nationwide administrative data-based audit of acute myocardial infarction in Latvia

Barzdins, Juris, Luguzis, Artis, Valeinis, Janis, Lepiksone, Jana, Skrule, Jolanta, Pildava, Santa, Konstante, Rita

Journal:

International Journal of Healthcare Management

Année:

2019

Fichier:

PDF, 1.21 MB

2019